3.
پدیدآورنده : دباغ ،سروش,ترجمه و شرح سروش دباغ
کتابخانه: (Hasht Behesht Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، ویتگنشتاین ? لودویگ ? 1889 - 1951 م.، نظریه درباره صدق و کذب )منطق(, ، صدق و کذب )منطق(، , ، منطق ریاضی،
رده :
193
د
352
ر
1393
5. Avicenna's deliverance : logic,النجاة
پدیدآورنده : / Avicenna,اب‍ن‌‌س‍ی‍ن‍ا,Avicenna
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق اسلامی,فلسفه اسلامی, -- متون قدیمی تا قرن ۱۴, -- متون قدیمی تا قرن ۱۴
رده :
BBR
۵۵۴
/
الف
۲
الف
۷۰۴۱ ۱۳۹۰
6. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
7. Frege's Theorem
پدیدآورنده : \ Richard G. Heck, Jr
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
8. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
9. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
10. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
11. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
12. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
13. Logic and knowledge : essays, 1901-1950
پدیدآورنده : / Bertrand Russell,راس‍ل,Russell
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه,منطق ریاضی
رده :
B
۱۶۴۹
/
ر
۲
ل
۲ ۱۳۳۵
14. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
15. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
16. Mits, wits, and logic
پدیدآورنده : / text by Lillian R. Lieber
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,علوم, -- فلسفه
رده :
BC
۱۳۵
/
ل
۹
م
۹ ۱۳۳۹
17. Paradoxes
پدیدآورنده : / Roy T. Cook
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
18. Philosophy and logical syntax
پدیدآورنده : /by Rudolf Carnap.,ک‍ارن‍اپ,Carnap
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,زبان,فلسفه
رده :
BC
۱۳۵
/
ک
۲
ف
۲ ۱۳۱۴
19. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
20. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
